#include "device_launch_parameters.h"
//#include "cuPrintf.cuh"

__global__ void addKernel2(int *c, const int *a, const int *b)
{
    int i = threadIdx.x;
    c[i] = a[i] + b[i];
	//cuPrintf("Value is: %d\n"); //, i);
}
